Freeness Theorems for Operads via Gröbner Bases
نویسنده
چکیده
We show how to use Gröbner bases for operads to prove various freeness theorems: freeness of certain operads as nonsymmetric operads, freeness of an operad Q as a P-module for an inclusion P ֒→ Q, freeness of a suboperad. This gives new proofs of many known results of this type and helps to prove some new results.
منابع مشابه
Gröbner Bases for Operads
We define a new monoidal category on collections (shuffle composition). Monoids in this category (shuffle operads) turn out to bring a new insight in the theory of symmetric operads. For this category, we develop the machinery of Gröbner bases for operads, and present operadic versions of Bergman’s Diamond Lemma and Buchberger’s algorithm. This machinery can be applied to study symmetric operad...
متن کاملApplications of Gröbner Bases
This paper will provide a brief introduction to Gröbner bases and some of their applications: identifying and proving geometric theorems, solving coloring problems, and computing minimal polynomials.
متن کاملAn Application of Gröbner Bases
In this paper, we program a procedure using Maple's packages, with it we can realize mechanical proving of some theorems in elementary geometry.
متن کاملFinite Gröbner Bases in Infinite Dimensional Polynomial Rings and Applications
We introduce the theory of monoidal Gröbner bases, a concept which generalizes the familiar notion in a polynomial ring and allows for a description of Gröbner bases of ideals that are stable under the action of a monoid. The main motivation for developing this theory is to prove finiteness results in commutative algebra and applications. A basic theorem of this type is that ideals in infinitel...
متن کاملOn Hopf algebra structures over free operads
The operad Lie can be constructed as the operad of primitives PrimAs from the operad As of associative algebras. This is reflected by the theorems of Friedrichs, Poincaré-Birkhoff-Witt and Cartier-Milnor-Moore. We replace the operad As by families of free operads P, which include the operad Mag freely generated by a noncommutative non-associative binary operation and the operad of Stasheff poly...
متن کامل